((v1 v1 0)) 6 ()